node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
node(146).
node(147).
node(148).
node(149).
node(150).
link(1,6) :- #0.266.
link(6,1) :- #0.703.
link(1,23) :- #0.406.
link(23,1) :- #0.342.
link(1,28) :- #0.919.
link(28,1) :- #0.687.
link(1,49) :- #0.578.
link(49,1) :- #0.124.
link(1,54) :- #0.156.
link(54,1) :- #0.04.
link(1,61) :- #0.686.
link(61,1) :- #0.708.
link(1,75) :- #0.663.
link(75,1) :- #0.747.
link(1,100) :- #0.905.
link(100,1) :- #0.105.
link(1,101) :- #0.624.
link(101,1) :- #0.973.
link(1,107) :- #0.101.
link(107,1) :- #0.877.
link(1,120) :- #0.777.
link(120,1) :- #0.845.
link(1,135) :- #0.303.
link(135,1) :- #0.591.
link(2,16) :- #0.797.
link(16,2) :- #0.558.
link(2,24) :- #0.962.
link(24,2) :- #0.955.
link(2,31) :- #0.1.
link(31,2) :- #0.85.
link(2,50) :- #0.086.
link(50,2) :- #0.829.
link(2,57) :- #0.259.
link(57,2) :- #0.675.
link(2,58) :- #0.811.
link(58,2) :- #0.583.
link(2,67) :- #0.512.
link(67,2) :- #0.212.
link(2,76) :- #0.253.
link(76,2) :- #0.946.
link(2,93) :- #0.774.
link(93,2) :- #0.709.
link(2,112) :- #0.926.
link(112,2) :- #0.465.
link(2,122) :- #0.357.
link(122,2) :- #0.871.
link(2,135) :- #0.835.
link(135,2) :- #0.431.
link(2,138) :- #0.104.
link(138,2) :- #0.352.
link(2,150) :- #0.53.
link(150,2) :- #0.057.
link(3,7) :- #0.024.
link(7,3) :- #0.955.
link(3,15) :- #0.351.
link(15,3) :- #0.344.
link(3,39) :- #0.02.
link(39,3) :- #0.464.
link(3,59) :- #0.499.
link(59,3) :- #0.377.
link(3,61) :- #0.922.
link(61,3) :- #0.001.
link(3,63) :- #0.836.
link(63,3) :- #0.314.
link(3,70) :- #0.606.
link(70,3) :- #0.718.
link(3,85) :- #0.982.
link(85,3) :- #0.576.
link(3,91) :- #0.176.
link(91,3) :- #0.697.
link(3,116) :- #0.771.
link(116,3) :- #0.201.
link(3,122) :- #0.395.
link(122,3) :- #0.738.
link(3,135) :- #0.696.
link(135,3) :- #0.178.
link(3,140) :- #0.389.
link(140,3) :- #0.149.
link(3,141) :- #0.226.
link(141,3) :- #0.227.
link(3,146) :- #0.687.
link(146,3) :- #0.743.
link(4,23) :- #0.584.
link(23,4) :- #0.665.
link(4,27) :- #0.711.
link(27,4) :- #0.515.
link(4,30) :- #0.741.
link(30,4) :- #0.264.
link(4,31) :- #0.68.
link(31,4) :- #0.301.
link(4,36) :- #0.182.
link(36,4) :- #0.376.
link(4,38) :- #0.278.
link(38,4) :- #0.441.
link(4,42) :- #0.739.
link(42,4) :- #0.924.
link(4,51) :- #0.645.
link(51,4) :- #0.641.
link(4,53) :- #0.294.
link(53,4) :- #0.546.
link(4,58) :- #0.818.
link(58,4) :- #0.084.
link(4,88) :- #0.808.
link(88,4) :- #0.067.
link(4,94) :- #0.449.
link(94,4) :- #0.127.
link(4,111) :- #0.527.
link(111,4) :- #0.673.
link(4,112) :- #0.828.
link(112,4) :- #0.707.
link(4,114) :- #0.776.
link(114,4) :- #0.373.
link(4,118) :- #0.2.
link(118,4) :- #0.906.
link(4,127) :- #0.81.
link(127,4) :- #0.278.
link(4,131) :- #0.3.
link(131,4) :- #0.719.
link(5,10) :- #0.318.
link(10,5) :- #0.629.
link(5,22) :- #0.626.
link(22,5) :- #0.468.
link(5,32) :- #0.279.
link(32,5) :- #0.6.
link(5,52) :- #0.361.
link(52,5) :- #0.807.
link(5,54) :- #0.801.
link(54,5) :- #0.49.
link(5,57) :- #0.085.
link(57,5) :- #0.81.
link(5,62) :- #0.827.
link(62,5) :- #0.675.
link(5,63) :- #0.608.
link(63,5) :- #0.258.
link(5,85) :- #0.134.
link(85,5) :- #0.546.
link(5,86) :- #0.787.
link(86,5) :- #0.196.
link(5,91) :- #0.141.
link(91,5) :- #0.791.
link(5,131) :- #0.102.
link(131,5) :- #0.888.
link(5,139) :- #0.706.
link(139,5) :- #0.678.
link(5,142) :- #0.871.
link(142,5) :- #0.028.
link(5,144) :- #0.303.
link(144,5) :- #0.299.
link(5,146) :- #0.218.
link(146,5) :- #0.032.
link(6,9) :- #0.87.
link(9,6) :- #0.847.
link(6,37) :- #0.49.
link(37,6) :- #0.186.
link(6,51) :- #0.876.
link(51,6) :- #0.339.
link(6,62) :- #0.549.
link(62,6) :- #0.922.
link(6,64) :- #0.036.
link(64,6) :- #0.652.
link(6,67) :- #0.946.
link(67,6) :- #0.295.
link(6,75) :- #0.946.
link(75,6) :- #0.108.
link(6,96) :- #0.089.
link(96,6) :- #0.375.
link(6,108) :- #0.149.
link(108,6) :- #0.232.
link(6,112) :- #0.199.
link(112,6) :- #0.783.
link(6,123) :- #0.746.
link(123,6) :- #0.934.
link(6,131) :- #0.767.
link(131,6) :- #0.135.
link(7,8) :- #0.225.
link(8,7) :- #0.322.
link(7,15) :- #0.831.
link(15,7) :- #0.251.
link(7,17) :- #0.376.
link(17,7) :- #0.56.
link(7,25) :- #0.196.
link(25,7) :- #0.42.
link(7,44) :- #0.661.
link(44,7) :- #0.595.
link(7,49) :- #0.594.
link(49,7) :- #0.638.
link(7,58) :- #0.572.
link(58,7) :- #0.711.
link(7,59) :- #0.217.
link(59,7) :- #0.148.
link(7,67) :- #0.231.
link(67,7) :- #0.724.
link(7,81) :- #0.252.
link(81,7) :- #0.9.
link(7,88) :- #0.677.
link(88,7) :- #0.26.
link(7,92) :- #0.37.
link(92,7) :- #0.126.
link(7,94) :- #0.041.
link(94,7) :- #0.936.
link(7,98) :- #0.32.
link(98,7) :- #0.442.
link(7,100) :- #0.758.
link(100,7) :- #0.013.
link(7,119) :- #0.983.
link(119,7) :- #0.954.
link(7,130) :- #0.223.
link(130,7) :- #0.265.
link(7,136) :- #0.641.
link(136,7) :- #0.323.
link(7,149) :- #0.277.
link(149,7) :- #0.448.
link(8,14) :- #0.937.
link(14,8) :- #0.78.
link(8,26) :- #0.831.
link(26,8) :- #0.055.
link(8,28) :- #0.485.
link(28,8) :- #0.355.
link(8,43) :- #0.847.
link(43,8) :- #0.503.
link(8,50) :- #0.507.
link(50,8) :- #0.064.
link(8,57) :- #0.202.
link(57,8) :- #0.777.
link(8,63) :- #0.006.
link(63,8) :- #0.569.
link(8,69) :- #0.39.
link(69,8) :- #0.903.
link(8,84) :- #0.896.
link(84,8) :- #0.444.
link(8,95) :- #0.054.
link(95,8) :- #0.657.
link(8,100) :- #0.434.
link(100,8) :- #0.148.
link(8,114) :- #0.446.
link(114,8) :- #0.313.
link(8,122) :- #0.203.
link(122,8) :- #0.425.
link(8,132) :- #0.713.
link(132,8) :- #0.137.
link(8,144) :- #0.331.
link(144,8) :- #0.882.
link(8,146) :- #0.453.
link(146,8) :- #0.078.
link(9,16) :- #0.617.
link(16,9) :- #0.052.
link(9,30) :- #0.159.
link(30,9) :- #0.74.
link(9,35) :- #0.632.
link(35,9) :- #0.362.
link(9,38) :- #0.61.
link(38,9) :- #0.18.
link(9,46) :- #0.553.
link(46,9) :- #0.956.
link(9,58) :- #0.036.
link(58,9) :- #0.456.
link(9,101) :- #0.932.
link(101,9) :- #0.667.
link(9,108) :- #0.278.
link(108,9) :- #0.536.
link(9,126) :- #0.308.
link(126,9) :- #0.157.
link(9,136) :- #0.369.
link(136,9) :- #0.399.
link(10,12) :- #0.674.
link(12,10) :- #0.004.
link(10,16) :- #0.001.
link(16,10) :- #0.758.
link(10,27) :- #0.562.
link(27,10) :- #0.797.
link(10,49) :- #0.502.
link(49,10) :- #0.093.
link(10,54) :- #0.464.
link(54,10) :- #0.868.
link(10,62) :- #0.873.
link(62,10) :- #0.992.
link(10,68) :- #0.725.
link(68,10) :- #0.526.
link(10,85) :- #0.688.
link(85,10) :- #0.427.
link(10,86) :- #0.753.
link(86,10) :- #0.574.
link(10,87) :- #0.421.
link(87,10) :- #0.541.
link(10,96) :- #0.666.
link(96,10) :- #0.626.
link(10,99) :- #0.826.
link(99,10) :- #0.001.
link(10,107) :- #0.478.
link(107,10) :- #0.649.
link(10,109) :- #0.138.
link(109,10) :- #0.544.
link(10,121) :- #0.88.
link(121,10) :- #0.072.
link(10,138) :- #0.098.
link(138,10) :- #0.336.
link(10,139) :- #0.112.
link(139,10) :- #0.453.
link(11,23) :- #0.537.
link(23,11) :- #0.099.
link(11,47) :- #0.479.
link(47,11) :- #0.636.
link(11,55) :- #0.609.
link(55,11) :- #0.144.
link(11,57) :- #0.721.
link(57,11) :- #0.564.
link(11,60) :- #0.895.
link(60,11) :- #0.895.
link(11,64) :- #0.723.
link(64,11) :- #0.839.
link(11,78) :- #0.712.
link(78,11) :- #0.683.
link(11,98) :- #0.296.
link(98,11) :- #0.945.
link(11,105) :- #0.889.
link(105,11) :- #0.554.
link(11,115) :- #0.971.
link(115,11) :- #0.017.
link(11,116) :- #0.39.
link(116,11) :- #0.011.
link(11,126) :- #0.602.
link(126,11) :- #0.6.
link(11,131) :- #0.954.
link(131,11) :- #0.639.
link(12,20) :- #0.038.
link(20,12) :- #0.011.
link(12,22) :- #0.895.
link(22,12) :- #0.827.
link(12,42) :- #0.25.
link(42,12) :- #0.494.
link(12,60) :- #0.511.
link(60,12) :- #0.504.
link(12,62) :- #0.958.
link(62,12) :- #0.049.
link(12,70) :- #0.913.
link(70,12) :- #0.461.
link(12,75) :- #0.497.
link(75,12) :- #0.767.
link(12,85) :- #0.185.
link(85,12) :- #0.931.
link(12,102) :- #0.049.
link(102,12) :- #0.17.
link(12,105) :- #0.634.
link(105,12) :- #0.491.
link(12,124) :- #0.559.
link(124,12) :- #0.877.
link(12,126) :- #0.744.
link(126,12) :- #0.829.
link(12,135) :- #0.005.
link(135,12) :- #0.15.
link(12,145) :- #0.478.
link(145,12) :- #0.415.
link(12,148) :- #0.817.
link(148,12) :- #0.154.
link(13,22) :- #0.78.
link(22,13) :- #0.091.
link(13,44) :- #0.462.
link(44,13) :- #0.281.
link(13,45) :- #0.673.
link(45,13) :- #0.774.
link(13,78) :- #0.396.
link(78,13) :- #0.4.
link(13,86) :- #0.074.
link(86,13) :- #0.059.
link(13,87) :- #0.107.
link(87,13) :- #0.469.
link(13,125) :- #0.546.
link(125,13) :- #0.148.
link(13,133) :- #0.025.
link(133,13) :- #0.583.
link(14,22) :- #0.19.
link(22,14) :- #0.987.
link(14,37) :- #0.945.
link(37,14) :- #0.114.
link(14,43) :- #0.174.
link(43,14) :- #0.469.
link(14,45) :- #0.956.
link(45,14) :- #0.378.
link(14,47) :- #0.085.
link(47,14) :- #0.271.
link(14,68) :- #0.773.
link(68,14) :- #0.887.
link(14,83) :- #0.972.
link(83,14) :- #0.175.
link(14,105) :- #0.01.
link(105,14) :- #0.302.
link(14,122) :- #0.422.
link(122,14) :- #0.233.
link(14,125) :- #0.271.
link(125,14) :- #0.09.
link(14,137) :- #0.941.
link(137,14) :- #0.834.
link(14,144) :- #0.448.
link(144,14) :- #0.446.
link(14,145) :- #0.843.
link(145,14) :- #0.68.
link(15,16) :- #0.355.
link(16,15) :- #0.507.
link(15,19) :- #0.523.
link(19,15) :- #0.996.
link(15,52) :- #0.516.
link(52,15) :- #0.358.
link(15,78) :- #0.66.
link(78,15) :- #0.539.
link(15,85) :- #0.621.
link(85,15) :- #0.76.
link(15,114) :- #0.454.
link(114,15) :- #0.192.
link(15,122) :- #0.931.
link(122,15) :- #0.473.
link(15,136) :- #0.309.
link(136,15) :- #0.382.
link(15,150) :- #0.757.
link(150,15) :- #0.998.
link(16,32) :- #0.57.
link(32,16) :- #0.206.
link(16,49) :- #0.53.
link(49,16) :- #0.565.
link(16,55) :- #0.425.
link(55,16) :- #0.769.
link(16,56) :- #0.786.
link(56,16) :- #0.403.
link(16,58) :- #0.254.
link(58,16) :- #0.974.
link(16,64) :- #0.557.
link(64,16) :- #0.128.
link(16,94) :- #0.604.
link(94,16) :- #0.937.
link(16,110) :- #0.876.
link(110,16) :- #0.372.
link(16,120) :- #0.104.
link(120,16) :- #0.701.
link(16,128) :- #0.82.
link(128,16) :- #0.232.
link(16,132) :- #0.718.
link(132,16) :- #0.529.
link(16,133) :- #0.248.
link(133,16) :- #0.453.
link(17,20) :- #0.436.
link(20,17) :- #0.109.
link(17,33) :- #0.01.
link(33,17) :- #0.37.
link(17,35) :- #0.208.
link(35,17) :- #0.725.
link(17,58) :- #0.386.
link(58,17) :- #0.057.
link(17,65) :- #0.458.
link(65,17) :- #0.023.
link(17,67) :- #0.045.
link(67,17) :- #0.053.
link(17,68) :- #0.859.
link(68,17) :- #0.349.
link(17,82) :- #0.384.
link(82,17) :- #0.739.
link(17,87) :- #0.271.
link(87,17) :- #0.871.
link(17,98) :- #0.198.
link(98,17) :- #0.403.
link(17,106) :- #0.436.
link(106,17) :- #0.284.
link(17,114) :- #0.732.
link(114,17) :- #0.357.
link(17,115) :- #0.402.
link(115,17) :- #0.056.
link(17,138) :- #0.106.
link(138,17) :- #0.826.
link(17,139) :- #0.985.
link(139,17) :- #0.776.
link(17,149) :- #0.285.
link(149,17) :- #0.749.
link(18,19) :- #0.23.
link(19,18) :- #0.561.
link(18,41) :- #0.503.
link(41,18) :- #0.886.
link(18,43) :- #0.749.
link(43,18) :- #0.049.
link(18,61) :- #0.458.
link(61,18) :- #0.644.
link(18,73) :- #0.474.
link(73,18) :- #0.608.
link(18,83) :- #0.671.
link(83,18) :- #0.906.
link(18,96) :- #0.401.
link(96,18) :- #0.942.
link(18,98) :- #0.922.
link(98,18) :- #0.407.
link(18,106) :- #0.929.
link(106,18) :- #0.67.
link(18,115) :- #0.127.
link(115,18) :- #0.42.
link(18,138) :- #0.764.
link(138,18) :- #0.204.
link(19,23) :- #0.206.
link(23,19) :- #0.889.
link(19,41) :- #0.728.
link(41,19) :- #0.62.
link(19,51) :- #0.056.
link(51,19) :- #0.556.
link(19,58) :- #0.253.
link(58,19) :- #0.428.
link(19,83) :- #0.641.
link(83,19) :- #0.063.
link(19,97) :- #0.76.
link(97,19) :- #0.387.
link(19,98) :- #0.349.
link(98,19) :- #0.616.
link(19,111) :- #0.02.
link(111,19) :- #0.575.
link(20,45) :- #0.027.
link(45,20) :- #0.369.
link(20,77) :- #0.257.
link(77,20) :- #0.002.
link(20,79) :- #0.865.
link(79,20) :- #0.606.
link(20,92) :- #0.224.
link(92,20) :- #0.486.
link(20,97) :- #0.251.
link(97,20) :- #0.691.
link(20,99) :- #0.233.
link(99,20) :- #0.579.
link(20,110) :- #0.735.
link(110,20) :- #0.257.
link(20,120) :- #0.839.
link(120,20) :- #0.761.
link(20,140) :- #0.852.
link(140,20) :- #0.652.
link(20,146) :- #0.169.
link(146,20) :- #0.359.
link(20,149) :- #0.092.
link(149,20) :- #0.076.
link(21,31) :- #0.21.
link(31,21) :- #0.94.
link(21,38) :- #0.159.
link(38,21) :- #0.504.
link(21,44) :- #0.298.
link(44,21) :- #0.641.
link(21,53) :- #0.604.
link(53,21) :- #0.363.
link(21,57) :- #0.868.
link(57,21) :- #0.943.
link(21,59) :- #0.238.
link(59,21) :- #0.212.
link(21,69) :- #0.884.
link(69,21) :- #0.112.
link(21,72) :- #0.592.
link(72,21) :- #0.677.
link(21,81) :- #0.186.
link(81,21) :- #0.328.
link(21,86) :- #0.314.
link(86,21) :- #0.466.
link(21,90) :- #0.158.
link(90,21) :- #0.817.
link(21,114) :- #0.301.
link(114,21) :- #0.169.
link(21,119) :- #0.135.
link(119,21) :- #0.062.
link(21,125) :- #0.754.
link(125,21) :- #0.266.
link(21,128) :- #0.912.
link(128,21) :- #0.754.
link(21,134) :- #0.107.
link(134,21) :- #0.35.
link(21,149) :- #0.717.
link(149,21) :- #0.101.
link(22,33) :- #0.944.
link(33,22) :- #0.41.
link(22,41) :- #0.359.
link(41,22) :- #0.898.
link(22,43) :- #0.076.
link(43,22) :- #0.323.
link(22,85) :- #0.692.
link(85,22) :- #0.313.
link(22,90) :- #0.625.
link(90,22) :- #0.678.
link(22,98) :- #0.5.
link(98,22) :- #0.256.
link(22,110) :- #0.263.
link(110,22) :- #0.252.
link(22,118) :- #0.819.
link(118,22) :- #0.95.
link(22,122) :- #0.316.
link(122,22) :- #0.763.
link(22,131) :- #0.159.
link(131,22) :- #0.407.
link(22,141) :- #0.628.
link(141,22) :- #0.83.
link(22,148) :- #0.185.
link(148,22) :- #0.131.
link(23,32) :- #0.485.
link(32,23) :- #0.042.
link(23,33) :- #0.798.
link(33,23) :- #0.885.
link(23,34) :- #0.227.
link(34,23) :- #0.85.
link(23,45) :- #0.132.
link(45,23) :- #0.577.
link(23,52) :- #0.017.
link(52,23) :- #0.064.
link(23,53) :- #0.458.
link(53,23) :- #0.659.
link(23,60) :- #0.601.
link(60,23) :- #0.519.
link(23,65) :- #0.931.
link(65,23) :- #0.135.
link(23,75) :- #0.366.
link(75,23) :- #0.268.
link(23,80) :- #0.43.
link(80,23) :- #0.913.
link(23,87) :- #0.936.
link(87,23) :- #0.032.
link(23,99) :- #0.612.
link(99,23) :- #0.472.
link(23,105) :- #0.486.
link(105,23) :- #0.777.
link(23,128) :- #0.803.
link(128,23) :- #0.321.
link(23,132) :- #0.591.
link(132,23) :- #0.087.
link(23,133) :- #0.332.
link(133,23) :- #0.693.
link(23,137) :- #0.276.
link(137,23) :- #0.299.
link(23,142) :- #0.623.
link(142,23) :- #0.995.
link(23,145) :- #0.086.
link(145,23) :- #0.394.
link(23,150) :- #0.189.
link(150,23) :- #0.511.
link(24,25) :- #0.798.
link(25,24) :- #0.108.
link(24,27) :- #0.234.
link(27,24) :- #0.355.
link(24,28) :- #0.469.
link(28,24) :- #0.989.
link(24,45) :- #0.714.
link(45,24) :- #0.073.
link(24,69) :- #0.989.
link(69,24) :- #0.77.
link(24,92) :- #0.283.
link(92,24) :- #0.209.
link(24,101) :- #0.293.
link(101,24) :- #0.117.
link(24,108) :- #0.111.
link(108,24) :- #0.453.
link(24,116) :- #0.917.
link(116,24) :- #0.804.
link(24,117) :- #0.006.
link(117,24) :- #0.467.
link(24,119) :- #0.06.
link(119,24) :- #0.714.
link(24,131) :- #0.913.
link(131,24) :- #0.364.
link(24,144) :- #0.895.
link(144,24) :- #0.748.
link(25,30) :- #0.668.
link(30,25) :- #0.012.
link(25,36) :- #0.123.
link(36,25) :- #0.094.
link(25,54) :- #0.925.
link(54,25) :- #0.638.
link(25,76) :- #0.93.
link(76,25) :- #0.148.
link(25,83) :- #0.433.
link(83,25) :- #0.448.
link(25,88) :- #0.489.
link(88,25) :- #0.236.
link(25,100) :- #0.197.
link(100,25) :- #0.592.
link(25,110) :- #0.043.
link(110,25) :- #0.86.
link(25,127) :- #0.544.
link(127,25) :- #0.618.
link(25,144) :- #0.885.
link(144,25) :- #0.212.
link(26,27) :- #0.3.
link(27,26) :- #0.464.
link(26,32) :- #0.985.
link(32,26) :- #0.637.
link(26,40) :- #0.393.
link(40,26) :- #0.028.
link(26,49) :- #0.733.
link(49,26) :- #0.67.
link(26,59) :- #0.361.
link(59,26) :- #0.759.
link(26,64) :- #0.727.
link(64,26) :- #0.441.
link(26,68) :- #0.977.
link(68,26) :- #0.555.
link(26,71) :- #0.4.
link(71,26) :- #0.953.
link(26,75) :- #0.157.
link(75,26) :- #0.45.
link(26,87) :- #0.926.
link(87,26) :- #0.049.
link(26,95) :- #0.256.
link(95,26) :- #0.13.
link(26,102) :- #0.199.
link(102,26) :- #0.421.
link(26,109) :- #0.062.
link(109,26) :- #0.702.
link(26,129) :- #0.224.
link(129,26) :- #0.526.
link(26,139) :- #0.152.
link(139,26) :- #0.391.
link(26,142) :- #0.141.
link(142,26) :- #0.724.
link(26,144) :- #0.799.
link(144,26) :- #0.957.
link(26,146) :- #0.86.
link(146,26) :- #0.888.
link(27,50) :- #0.257.
link(50,27) :- #0.646.
link(27,66) :- #0.355.
link(66,27) :- #0.36.
link(27,67) :- #0.742.
link(67,27) :- #0.003.
link(27,79) :- #0.568.
link(79,27) :- #0.792.
link(27,81) :- #0.864.
link(81,27) :- #0.908.
link(27,119) :- #0.437.
link(119,27) :- #0.577.
link(27,123) :- #0.015.
link(123,27) :- #0.886.
link(27,125) :- #0.153.
link(125,27) :- #0.418.
link(27,139) :- #0.574.
link(139,27) :- #0.12.
link(28,36) :- #0.729.
link(36,28) :- #0.816.
link(28,38) :- #0.708.
link(38,28) :- #0.365.
link(28,48) :- #0.449.
link(48,28) :- #0.805.
link(28,49) :- #0.571.
link(49,28) :- #0.2.
link(28,68) :- #0.658.
link(68,28) :- #0.224.
link(28,91) :- #0.353.
link(91,28) :- #0.91.
link(28,93) :- #0.585.
link(93,28) :- #0.761.
link(28,102) :- #0.647.
link(102,28) :- #0.957.
link(28,127) :- #0.834.
link(127,28) :- #0.406.
link(28,150) :- #0.211.
link(150,28) :- #0.156.
link(29,52) :- #0.62.
link(52,29) :- #0.154.
link(29,71) :- #0.166.
link(71,29) :- #0.47.
link(29,79) :- #0.566.
link(79,29) :- #0.518.
link(29,82) :- #0.021.
link(82,29) :- #0.066.
link(29,83) :- #0.649.
link(83,29) :- #0.788.
link(29,104) :- #0.497.
link(104,29) :- #0.056.
link(29,115) :- #0.795.
link(115,29) :- #0.011.
link(29,117) :- #0.603.
link(117,29) :- #0.063.
link(29,124) :- #0.404.
link(124,29) :- #0.336.
link(30,33) :- #0.845.
link(33,30) :- #0.517.
link(30,40) :- #0.246.
link(40,30) :- #0.797.
link(30,42) :- #0.128.
link(42,30) :- #0.767.
link(30,82) :- #0.249.
link(82,30) :- #0.763.
link(30,90) :- #0.059.
link(90,30) :- #0.968.
link(30,115) :- #0.754.
link(115,30) :- #0.411.
link(30,116) :- #0.896.
link(116,30) :- #0.045.
link(30,126) :- #0.196.
link(126,30) :- #0.474.
link(31,38) :- #0.73.
link(38,31) :- #0.174.
link(31,39) :- #0.307.
link(39,31) :- #0.757.
link(31,82) :- #0.217.
link(82,31) :- #0.553.
link(31,88) :- #0.265.
link(88,31) :- #0.982.
link(31,101) :- #0.819.
link(101,31) :- #0.989.
link(31,138) :- #0.346.
link(138,31) :- #0.375.
link(32,47) :- #0.323.
link(47,32) :- #0.024.
link(32,54) :- #0.033.
link(54,32) :- #0.232.
link(32,57) :- #0.139.
link(57,32) :- #0.201.
link(32,68) :- #0.258.
link(68,32) :- #0.771.
link(32,69) :- #0.301.
link(69,32) :- #0.151.
link(32,72) :- #0.736.
link(72,32) :- #0.855.
link(32,73) :- #0.244.
link(73,32) :- #0.788.
link(32,84) :- #0.779.
link(84,32) :- #0.24.
link(32,88) :- #0.708.
link(88,32) :- #0.012.
link(32,98) :- #0.633.
link(98,32) :- #0.508.
link(32,107) :- #0.638.
link(107,32) :- #0.379.
link(32,109) :- #0.263.
link(109,32) :- #0.798.
link(32,116) :- #0.852.
link(116,32) :- #0.652.
link(32,136) :- #0.648.
link(136,32) :- #0.177.
link(32,142) :- #0.813.
link(142,32) :- #0.472.
link(32,147) :- #0.356.
link(147,32) :- #0.265.
link(32,149) :- #0.759.
link(149,32) :- #0.608.
link(33,48) :- #0.491.
link(48,33) :- #0.766.
link(33,49) :- #0.279.
link(49,33) :- #0.819.
link(33,69) :- #0.674.
link(69,33) :- #0.315.
link(33,84) :- #0.46.
link(84,33) :- #0.876.
link(33,86) :- #0.557.
link(86,33) :- #0.547.
link(33,89) :- #0.627.
link(89,33) :- #0.202.
link(33,94) :- #0.451.
link(94,33) :- #0.292.
link(33,101) :- #0.577.
link(101,33) :- #0.064.
link(33,116) :- #0.907.
link(116,33) :- #0.1.
link(33,131) :- #0.672.
link(131,33) :- #0.736.
link(33,133) :- #0.033.
link(133,33) :- #0.905.
link(33,144) :- #0.111.
link(144,33) :- #0.247.
link(33,149) :- #0.55.
link(149,33) :- #0.157.
link(34,44) :- #0.902.
link(44,34) :- #0.745.
link(34,67) :- #0.26.
link(67,34) :- #0.499.
link(34,108) :- #0.004.
link(108,34) :- #0.353.
link(34,123) :- #0.057.
link(123,34) :- #0.374.
link(34,146) :- #0.767.
link(146,34) :- #0.186.
link(35,48) :- #0.468.
link(48,35) :- #0.434.
link(35,51) :- #0.294.
link(51,35) :- #0.732.
link(35,62) :- #0.266.
link(62,35) :- #0.435.
link(35,70) :- #0.843.
link(70,35) :- #0.594.
link(35,80) :- #0.885.
link(80,35) :- #0.286.
link(35,99) :- #0.611.
link(99,35) :- #0.94.
link(35,110) :- #0.465.
link(110,35) :- #0.037.
link(36,41) :- #0.518.
link(41,36) :- #0.53.
link(36,62) :- #0.647.
link(62,36) :- #0.963.
link(36,81) :- #0.396.
link(81,36) :- #0.671.
link(36,106) :- #0.974.
link(106,36) :- #0.251.
link(36,111) :- #0.681.
link(111,36) :- #0.524.
link(36,131) :- #0.526.
link(131,36) :- #0.572.
link(36,134) :- #0.417.
link(134,36) :- #0.185.
link(36,137) :- #0.499.
link(137,36) :- #0.473.
link(36,140) :- #0.794.
link(140,36) :- #0.624.
link(36,146) :- #0.737.
link(146,36) :- #0.82.
link(36,148) :- #0.091.
link(148,36) :- #0.562.
link(37,52) :- #0.954.
link(52,37) :- #0.673.
link(37,54) :- #0.882.
link(54,37) :- #0.722.
link(37,55) :- #0.861.
link(55,37) :- #0.044.
link(37,62) :- #0.686.
link(62,37) :- #0.586.
link(37,64) :- #0.748.
link(64,37) :- #0.958.
link(37,73) :- #0.206.
link(73,37) :- #0.985.
link(37,111) :- #0.017.
link(111,37) :- #0.467.
link(37,115) :- #0.669.
link(115,37) :- #0.111.
link(37,122) :- #0.645.
link(122,37) :- #0.476.
link(37,136) :- #0.811.
link(136,37) :- #0.876.
link(37,139) :- #0.887.
link(139,37) :- #0.137.
link(38,54) :- #0.356.
link(54,38) :- #0.284.
link(38,56) :- #0.395.
link(56,38) :- #0.601.
link(38,68) :- #0.733.
link(68,38) :- #0.449.
link(38,69) :- #0.1.
link(69,38) :- #0.103.
link(38,80) :- #0.538.
link(80,38) :- #0.123.
link(38,106) :- #0.329.
link(106,38) :- #0.899.
link(38,146) :- #0.353.
link(146,38) :- #0.83.
link(39,50) :- #0.802.
link(50,39) :- #0.785.
link(39,61) :- #0.958.
link(61,39) :- #0.538.
link(39,75) :- #0.942.
link(75,39) :- #0.841.
link(39,81) :- #0.289.
link(81,39) :- #0.054.
link(39,84) :- #0.91.
link(84,39) :- #0.14.
link(39,88) :- #0.327.
link(88,39) :- #0.046.
link(39,97) :- #0.317.
link(97,39) :- #0.358.
link(39,98) :- #0.276.
link(98,39) :- #0.708.
link(39,104) :- #0.701.
link(104,39) :- #0.23.
link(39,105) :- #0.093.
link(105,39) :- #0.107.
link(39,112) :- #0.918.
link(112,39) :- #0.366.
link(39,114) :- #0.634.
link(114,39) :- #0.179.
link(39,116) :- #0.869.
link(116,39) :- #0.969.
link(39,124) :- #0.316.
link(124,39) :- #0.23.
link(39,131) :- #0.878.
link(131,39) :- #0.088.
link(39,137) :- #0.352.
link(137,39) :- #0.621.
link(40,42) :- #0.156.
link(42,40) :- #0.414.
link(40,45) :- #0.801.
link(45,40) :- #0.719.
link(40,46) :- #0.414.
link(46,40) :- #0.546.
link(40,71) :- #0.263.
link(71,40) :- #0.17.
link(40,79) :- #0.942.
link(79,40) :- #0.684.
link(40,88) :- #0.143.
link(88,40) :- #0.227.
link(40,91) :- #0.416.
link(91,40) :- #0.949.
link(40,92) :- #0.495.
link(92,40) :- #0.339.
link(40,101) :- #0.971.
link(101,40) :- #0.754.
link(40,116) :- #0.406.
link(116,40) :- #0.084.
link(40,122) :- #0.571.
link(122,40) :- #0.718.
link(40,147) :- #0.187.
link(147,40) :- #0.965.
link(40,148) :- #0.489.
link(148,40) :- #0.659.
link(41,52) :- #0.997.
link(52,41) :- #0.689.
link(41,59) :- #0.607.
link(59,41) :- #0.853.
link(41,62) :- #0.454.
link(62,41) :- #0.565.
link(41,63) :- #0.667.
link(63,41) :- #0.322.
link(41,65) :- #0.671.
link(65,41) :- #0.141.
link(41,70) :- #0.374.
link(70,41) :- #0.936.
link(41,74) :- #0.719.
link(74,41) :- #0.478.
link(41,78) :- #0.087.
link(78,41) :- #0.153.
link(41,79) :- #0.751.
link(79,41) :- #0.685.
link(41,84) :- #0.509.
link(84,41) :- #0.542.
link(41,99) :- #0.81.
link(99,41) :- #0.676.
link(41,103) :- #0.497.
link(103,41) :- #0.72.
link(41,113) :- #0.339.
link(113,41) :- #0.459.
link(41,117) :- #0.382.
link(117,41) :- #0.029.
link(41,136) :- #0.694.
link(136,41) :- #0.738.
link(41,141) :- #0.746.
link(141,41) :- #0.346.
link(41,148) :- #0.748.
link(148,41) :- #0.509.
link(42,59) :- #0.866.
link(59,42) :- #0.693.
link(42,73) :- #0.313.
link(73,42) :- #0.067.
link(42,74) :- #0.04.
link(74,42) :- #0.189.
link(42,86) :- #0.398.
link(86,42) :- #0.023.
link(42,89) :- #0.231.
link(89,42) :- #0.052.
link(42,115) :- #0.741.
link(115,42) :- #0.037.
link(42,118) :- #0.209.
link(118,42) :- #0.462.
link(42,123) :- #0.186.
link(123,42) :- #0.277.
link(43,56) :- #0.106.
link(56,43) :- #0.567.
link(43,76) :- #0.824.
link(76,43) :- #0.486.
link(43,78) :- #0.68.
link(78,43) :- #0.732.
link(43,85) :- #0.647.
link(85,43) :- #0.801.
link(43,89) :- #0.056.
link(89,43) :- #0.499.
link(43,102) :- #0.515.
link(102,43) :- #0.595.
link(43,120) :- #0.245.
link(120,43) :- #0.898.
link(43,124) :- #0.326.
link(124,43) :- #0.907.
link(43,125) :- #0.758.
link(125,43) :- #0.673.
link(44,90) :- #0.371.
link(90,44) :- #0.97.
link(44,107) :- #0.508.
link(107,44) :- #0.286.
link(44,111) :- #0.4.
link(111,44) :- #0.818.
link(44,116) :- #0.162.
link(116,44) :- #0.861.
link(44,148) :- #0.035.
link(148,44) :- #0.493.
link(45,63) :- #0.116.
link(63,45) :- #0.518.
link(45,66) :- #0.966.
link(66,45) :- #0.269.
link(45,81) :- #0.296.
link(81,45) :- #0.183.
link(45,90) :- #0.111.
link(90,45) :- #0.273.
link(45,109) :- #0.469.
link(109,45) :- #0.235.
link(45,110) :- #0.407.
link(110,45) :- #0.668.
link(45,114) :- #0.585.
link(114,45) :- #0.376.
link(45,118) :- #0.508.
link(118,45) :- #0.885.
link(45,125) :- #0.658.
link(125,45) :- #0.51.
link(45,133) :- #0.885.
link(133,45) :- #0.594.
link(45,143) :- #0.625.
link(143,45) :- #0.049.
link(45,148) :- #0.19.
link(148,45) :- #0.916.
link(46,48) :- #0.78.
link(48,46) :- #0.787.
link(46,52) :- #0.325.
link(52,46) :- #0.644.
link(46,53) :- #0.387.
link(53,46) :- #0.076.
link(46,67) :- #0.303.
link(67,46) :- #0.725.
link(46,105) :- #0.624.
link(105,46) :- #0.487.
link(46,116) :- #0.237.
link(116,46) :- #0.448.
link(46,123) :- #0.716.
link(123,46) :- #0.065.
link(46,126) :- #0.791.
link(126,46) :- #0.236.
link(46,127) :- #0.947.
link(127,46) :- #0.014.
link(46,131) :- #0.318.
link(131,46) :- #0.942.
link(46,150) :- #0.812.
link(150,46) :- #0.482.
link(47,51) :- #0.955.
link(51,47) :- #0.539.
link(47,56) :- #0.243.
link(56,47) :- #0.721.
link(47,75) :- #0.072.
link(75,47) :- #0.841.
link(47,114) :- #0.119.
link(114,47) :- #0.336.
link(47,115) :- #0.888.
link(115,47) :- #0.051.
link(47,131) :- #0.899.
link(131,47) :- #0.58.
link(47,132) :- #0.621.
link(132,47) :- #0.631.
link(47,143) :- #0.652.
link(143,47) :- #0.527.
link(47,148) :- #0.35.
link(148,47) :- #0.969.
link(48,62) :- #0.151.
link(62,48) :- #0.685.
link(48,64) :- #0.461.
link(64,48) :- #0.279.
link(48,65) :- #0.346.
link(65,48) :- #0.876.
link(48,66) :- #0.458.
link(66,48) :- #0.844.
link(48,69) :- #0.073.
link(69,48) :- #0.446.
link(48,79) :- #0.159.
link(79,48) :- #0.311.
link(48,88) :- #0.454.
link(88,48) :- #0.574.
link(48,99) :- #0.483.
link(99,48) :- #0.112.
link(48,115) :- #0.13.
link(115,48) :- #0.307.
link(48,116) :- #0.93.
link(116,48) :- #0.843.
link(49,52) :- #0.357.
link(52,49) :- #0.315.
link(49,56) :- #0.196.
link(56,49) :- #0.573.
link(49,70) :- #0.481.
link(70,49) :- #0.088.
link(49,74) :- #0.527.
link(74,49) :- #0.68.
link(49,77) :- #0.415.
link(77,49) :- #0.615.
link(49,78) :- #0.433.
link(78,49) :- #0.904.
link(49,80) :- #0.326.
link(80,49) :- #0.598.
link(49,108) :- #0.152.
link(108,49) :- #0.589.
link(49,109) :- #0.645.
link(109,49) :- #0.932.
link(49,115) :- #0.98.
link(115,49) :- #0.495.
link(49,135) :- #0.057.
link(135,49) :- #0.008.
link(49,144) :- #0.943.
link(144,49) :- #0.421.
link(50,57) :- #0.084.
link(57,50) :- #0.004.
link(50,60) :- #0.46.
link(60,50) :- #0.045.
link(50,83) :- #0.877.
link(83,50) :- #0.558.
link(50,86) :- #0.107.
link(86,50) :- #0.855.
link(50,88) :- #0.653.
link(88,50) :- #0.484.
link(50,112) :- #0.622.
link(112,50) :- #0.636.
link(50,125) :- #0.858.
link(125,50) :- #0.585.
link(51,56) :- #0.99.
link(56,51) :- #0.127.
link(51,67) :- #0.244.
link(67,51) :- #0.32.
link(51,80) :- #0.344.
link(80,51) :- #0.224.
link(51,90) :- #0.117.
link(90,51) :- #0.533.
link(51,95) :- #0.174.
link(95,51) :- #0.285.
link(51,102) :- #0.512.
link(102,51) :- #0.563.
link(51,115) :- #0.662.
link(115,51) :- #0.778.
link(51,126) :- #0.886.
link(126,51) :- #0.535.
link(51,133) :- #0.228.
link(133,51) :- #0.183.
link(51,135) :- #0.566.
link(135,51) :- #0.206.
link(51,141) :- #0.393.
link(141,51) :- #0.656.
link(52,61) :- #0.797.
link(61,52) :- #0.423.
link(52,82) :- #0.853.
link(82,52) :- #0.622.
link(52,88) :- #0.338.
link(88,52) :- #0.447.
link(52,129) :- #0.233.
link(129,52) :- #0.098.
link(52,133) :- #0.614.
link(133,52) :- #0.526.
link(52,139) :- #0.015.
link(139,52) :- #0.817.
link(53,64) :- #0.921.
link(64,53) :- #0.284.
link(53,73) :- #0.736.
link(73,53) :- #0.168.
link(53,74) :- #0.98.
link(74,53) :- #0.399.
link(53,82) :- #0.078.
link(82,53) :- #0.617.
link(53,91) :- #0.58.
link(91,53) :- #0.663.
link(53,94) :- #0.266.
link(94,53) :- #0.833.
link(53,101) :- #0.492.
link(101,53) :- #0.735.
link(53,107) :- #0.117.
link(107,53) :- #0.741.
link(53,117) :- #0.448.
link(117,53) :- #0.495.
link(53,126) :- #0.809.
link(126,53) :- #0.353.
link(53,134) :- #0.553.
link(134,53) :- #0.05.
link(53,144) :- #0.33.
link(144,53) :- #0.589.
link(53,148) :- #0.153.
link(148,53) :- #0.749.
link(54,55) :- #0.545.
link(55,54) :- #0.611.
link(54,75) :- #0.007.
link(75,54) :- #0.372.
link(54,78) :- #0.933.
link(78,54) :- #0.094.
link(54,81) :- #0.748.
link(81,54) :- #0.455.
link(54,85) :- #0.185.
link(85,54) :- #0.538.
link(54,114) :- #0.524.
link(114,54) :- #0.111.
link(54,121) :- #0.998.
link(121,54) :- #0.469.
link(54,136) :- #0.345.
link(136,54) :- #0.924.
link(54,148) :- #0.401.
link(148,54) :- #0.307.
link(55,81) :- #0.067.
link(81,55) :- #0.461.
link(55,94) :- #0.429.
link(94,55) :- #0.606.
link(55,97) :- #0.815.
link(97,55) :- #0.684.
link(55,100) :- #0.12.
link(100,55) :- #0.568.
link(55,105) :- #0.524.
link(105,55) :- #0.188.
link(55,111) :- #0.713.
link(111,55) :- #0.398.
link(55,135) :- #0.738.
link(135,55) :- #0.646.
link(56,67) :- #0.035.
link(67,56) :- #0.572.
link(56,71) :- #0.798.
link(71,56) :- #0.424.
link(56,72) :- #0.097.
link(72,56) :- #0.197.
link(56,73) :- #0.569.
link(73,56) :- #0.798.
link(56,87) :- #0.489.
link(87,56) :- #0.675.
link(56,102) :- #0.204.
link(102,56) :- #0.132.
link(56,107) :- #0.59.
link(107,56) :- #0.181.
link(56,119) :- #0.628.
link(119,56) :- #0.275.
link(56,140) :- #0.774.
link(140,56) :- #0.406.
link(56,148) :- #0.019.
link(148,56) :- #0.229.
link(57,64) :- #0.542.
link(64,57) :- #0.437.
link(57,71) :- #0.098.
link(71,57) :- #0.016.
link(57,106) :- #0.98.
link(106,57) :- #0.911.
link(57,118) :- #0.438.
link(118,57) :- #0.982.
link(57,133) :- #0.602.
link(133,57) :- #0.173.
link(57,139) :- #0.688.
link(139,57) :- #0.323.
link(57,142) :- #0.753.
link(142,57) :- #0.404.
link(57,143) :- #0.968.
link(143,57) :- #0.162.
link(57,144) :- #0.505.
link(144,57) :- #0.563.
link(58,75) :- #0.989.
link(75,58) :- #0.576.
link(58,76) :- #0.708.
link(76,58) :- #0.922.
link(58,77) :- #0.522.
link(77,58) :- #0.633.
link(58,83) :- #0.532.
link(83,58) :- #0.416.
link(58,85) :- #0.859.
link(85,58) :- #0.002.
link(58,96) :- #0.802.
link(96,58) :- #0.551.
link(58,113) :- #0.076.
link(113,58) :- #0.494.
link(58,115) :- #0.422.
link(115,58) :- #0.997.
link(58,120) :- #0.336.
link(120,58) :- #0.914.
link(58,121) :- #0.636.
link(121,58) :- #0.052.
link(58,129) :- #0.779.
link(129,58) :- #0.635.
link(58,148) :- #0.223.
link(148,58) :- #0.084.
link(59,77) :- #0.702.
link(77,59) :- #0.051.
link(59,81) :- #0.562.
link(81,59) :- #0.703.
link(59,99) :- #0.828.
link(99,59) :- #0.581.
link(59,131) :- #0.847.
link(131,59) :- #0.55.
link(59,135) :- #0.31.
link(135,59) :- #0.695.
link(59,147) :- #0.443.
link(147,59) :- #0.043.
link(60,63) :- #0.258.
link(63,60) :- #0.792.
link(60,65) :- #0.065.
link(65,60) :- #0.558.
link(60,68) :- #0.709.
link(68,60) :- #0.063.
link(60,82) :- #0.091.
link(82,60) :- #0.124.
link(60,83) :- #0.032.
link(83,60) :- #0.184.
link(60,86) :- #0.314.
link(86,60) :- #0.76.
link(60,102) :- #0.398.
link(102,60) :- #0.049.
link(60,111) :- #0.754.
link(111,60) :- #0.821.
link(60,117) :- #0.456.
link(117,60) :- #0.461.
link(60,123) :- #0.942.
link(123,60) :- #0.702.
link(60,136) :- #0.306.
link(136,60) :- #0.782.
link(61,70) :- #0.483.
link(70,61) :- #0.718.
link(61,73) :- #0.025.
link(73,61) :- #0.04.
link(61,79) :- #0.479.
link(79,61) :- #0.056.
link(61,81) :- #0.666.
link(81,61) :- #0.613.
link(61,100) :- #0.846.
link(100,61) :- #0.133.
link(61,103) :- #0.214.
link(103,61) :- #0.718.
link(61,132) :- #0.09.
link(132,61) :- #0.142.
link(61,138) :- #0.539.
link(138,61) :- #0.094.
link(61,143) :- #0.275.
link(143,61) :- #0.819.
link(61,146) :- #0.638.
link(146,61) :- #0.98.
link(61,148) :- #0.621.
link(148,61) :- #0.679.
link(62,64) :- #0.667.
link(64,62) :- #0.217.
link(62,66) :- #0.249.
link(66,62) :- #0.035.
link(62,72) :- #0.252.
link(72,62) :- #0.804.
link(62,82) :- #0.569.
link(82,62) :- #0.635.
link(62,83) :- #0.669.
link(83,62) :- #0.69.
link(62,97) :- #0.651.
link(97,62) :- #0.689.
link(62,106) :- #0.948.
link(106,62) :- #0.108.
link(62,129) :- #0.827.
link(129,62) :- #0.565.
link(62,131) :- #0.866.
link(131,62) :- #0.32.
link(62,149) :- #0.878.
link(149,62) :- #0.485.
link(63,85) :- #0.979.
link(85,63) :- #0.5.
link(63,106) :- #0.315.
link(106,63) :- #0.823.
link(63,107) :- #0.191.
link(107,63) :- #0.608.
link(63,109) :- #0.721.
link(109,63) :- #0.083.
link(63,111) :- #0.141.
link(111,63) :- #0.856.
link(63,146) :- #0.455.
link(146,63) :- #0.619.
link(64,79) :- #0.671.
link(79,64) :- #0.54.
link(64,81) :- #0.587.
link(81,64) :- #0.544.
link(64,82) :- #0.534.
link(82,64) :- #0.349.
link(64,86) :- #0.97.
link(86,64) :- #0.953.
link(64,89) :- #0.985.
link(89,64) :- #0.152.
link(64,90) :- #0.391.
link(90,64) :- #0.523.
link(64,106) :- #0.019.
link(106,64) :- #0.917.
link(65,88) :- #0.702.
link(88,65) :- #0.086.
link(65,89) :- #0.454.
link(89,65) :- #0.88.
link(65,93) :- #0.299.
link(93,65) :- #0.94.
link(65,116) :- #0.215.
link(116,65) :- #0.889.
link(65,128) :- #0.952.
link(128,65) :- #0.377.
link(65,130) :- #0.607.
link(130,65) :- #0.881.
link(65,149) :- #0.594.
link(149,65) :- #0.158.
link(66,71) :- #0.961.
link(71,66) :- #0.371.
link(66,75) :- #0.357.
link(75,66) :- #0.944.
link(66,85) :- #0.176.
link(85,66) :- #0.484.
link(66,88) :- #0.09.
link(88,66) :- #0.002.
link(66,96) :- #0.733.
link(96,66) :- #0.298.
link(66,97) :- #0.476.
link(97,66) :- #0.892.
link(66,102) :- #0.953.
link(102,66) :- #0.67.
link(67,69) :- #0.904.
link(69,67) :- #0.328.
link(67,72) :- #0.386.
link(72,67) :- #0.518.
link(67,88) :- #0.064.
link(88,67) :- #0.519.
link(67,104) :- #0.459.
link(104,67) :- #0.045.
link(67,108) :- #0.899.
link(108,67) :- #0.206.
link(67,116) :- #0.961.
link(116,67) :- #0.113.
link(67,121) :- #0.467.
link(121,67) :- #0.243.
link(67,126) :- #0.78.
link(126,67) :- #0.037.
link(67,128) :- #0.792.
link(128,67) :- #0.227.
link(68,79) :- #0.018.
link(79,68) :- #0.213.
link(68,109) :- #0.704.
link(109,68) :- #0.769.
link(68,117) :- #0.242.
link(117,68) :- #0.185.
link(68,118) :- #0.72.
link(118,68) :- #0.858.
link(68,120) :- #0.102.
link(120,68) :- #0.94.
link(68,123) :- #0.595.
link(123,68) :- #0.353.
link(68,133) :- #0.829.
link(133,68) :- #0.235.
link(68,139) :- #0.065.
link(139,68) :- #0.285.
link(68,143) :- #0.507.
link(143,68) :- #0.741.
link(69,72) :- #0.689.
link(72,69) :- #0.914.
link(69,89) :- #0.368.
link(89,69) :- #0.429.
link(69,92) :- #0.465.
link(92,69) :- #0.645.
link(69,106) :- #0.459.
link(106,69) :- #0.31.
link(69,117) :- #0.874.
link(117,69) :- #0.095.
link(69,122) :- #0.537.
link(122,69) :- #0.813.
link(69,130) :- #0.233.
link(130,69) :- #0.145.
link(69,135) :- #0.201.
link(135,69) :- #0.5.
link(70,79) :- #0.285.
link(79,70) :- #0.368.
link(70,89) :- #0.723.
link(89,70) :- #0.6.
link(70,90) :- #0.853.
link(90,70) :- #0.074.
link(70,104) :- #0.23.
link(104,70) :- #0.088.
link(70,105) :- #0.525.
link(105,70) :- #0.676.
link(70,108) :- #0.565.
link(108,70) :- #0.629.
link(70,116) :- #0.839.
link(116,70) :- #0.375.
link(70,137) :- #0.128.
link(137,70) :- #0.058.
link(70,142) :- #0.275.
link(142,70) :- #0.153.
link(71,98) :- #0.793.
link(98,71) :- #0.752.
link(71,106) :- #0.992.
link(106,71) :- #0.043.
link(71,135) :- #0.995.
link(135,71) :- #0.101.
link(72,75) :- #0.09.
link(75,72) :- #0.947.
link(72,97) :- #0.654.
link(97,72) :- #0.53.
link(72,112) :- #0.018.
link(112,72) :- #0.28.
link(72,116) :- #0.482.
link(116,72) :- #0.332.
link(72,122) :- #0.552.
link(122,72) :- #0.247.
link(72,128) :- #0.737.
link(128,72) :- #0.971.
link(72,144) :- #0.545.
link(144,72) :- #0.059.
link(73,74) :- #0.838.
link(74,73) :- #0.897.
link(73,76) :- #0.964.
link(76,73) :- #0.204.
link(73,88) :- #0.524.
link(88,73) :- #0.177.
link(73,89) :- #0.802.
link(89,73) :- #0.453.
link(73,106) :- #0.161.
link(106,73) :- #0.956.
link(73,111) :- #0.473.
link(111,73) :- #0.541.
link(73,132) :- #0.359.
link(132,73) :- #0.653.
link(74,75) :- #0.62.
link(75,74) :- #0.843.
link(74,128) :- #0.263.
link(128,74) :- #0.783.
link(74,132) :- #0.835.
link(132,74) :- #0.301.
link(74,137) :- #0.809.
link(137,74) :- #0.741.
link(74,138) :- #0.946.
link(138,74) :- #0.942.
link(75,84) :- #0.175.
link(84,75) :- #0.101.
link(75,91) :- #0.052.
link(91,75) :- #0.373.
link(75,97) :- #0.583.
link(97,75) :- #0.104.
link(75,115) :- #0.781.
link(115,75) :- #0.335.
link(75,116) :- #0.339.
link(116,75) :- #0.568.
link(75,117) :- #0.724.
link(117,75) :- #0.134.
link(75,124) :- #0.286.
link(124,75) :- #0.429.
link(75,138) :- #0.285.
link(138,75) :- #0.159.
link(76,83) :- #0.948.
link(83,76) :- #0.301.
link(76,131) :- #0.335.
link(131,76) :- #0.797.
link(76,134) :- #0.286.
link(134,76) :- #0.56.
link(76,138) :- #0.825.
link(138,76) :- #0.356.
link(76,141) :- #0.749.
link(141,76) :- #0.659.
link(77,88) :- #0.58.
link(88,77) :- #0.823.
link(77,92) :- #0.855.
link(92,77) :- #0.082.
link(77,97) :- #0.902.
link(97,77) :- #0.915.
link(77,98) :- #0.841.
link(98,77) :- #0.05.
link(77,104) :- #0.527.
link(104,77) :- #0.064.
link(77,105) :- #0.622.
link(105,77) :- #0.968.
link(77,117) :- #0.218.
link(117,77) :- #0.416.
link(77,122) :- #0.666.
link(122,77) :- #0.424.
link(77,140) :- #0.648.
link(140,77) :- #0.148.
link(78,80) :- #0.031.
link(80,78) :- #0.294.
link(78,86) :- #0.623.
link(86,78) :- #0.196.
link(78,92) :- #0.427.
link(92,78) :- #0.221.
link(78,119) :- #0.703.
link(119,78) :- #0.969.
link(78,139) :- #0.182.
link(139,78) :- #0.139.
link(78,149) :- #0.337.
link(149,78) :- #0.443.
link(78,150) :- #0.632.
link(150,78) :- #0.989.
link(79,86) :- #0.052.
link(86,79) :- #0.059.
link(79,94) :- #0.934.
link(94,79) :- #0.804.
link(79,110) :- #0.601.
link(110,79) :- #0.587.
link(79,115) :- #0.332.
link(115,79) :- #0.587.
link(79,125) :- #0.201.
link(125,79) :- #0.042.
link(79,135) :- #0.612.
link(135,79) :- #0.107.
link(79,142) :- #0.909.
link(142,79) :- #0.415.
link(79,144) :- #0.872.
link(144,79) :- #0.864.
link(80,84) :- #0.32.
link(84,80) :- #0.333.
link(80,99) :- #0.
link(99,80) :- #0.105.
link(80,121) :- #0.024.
link(121,80) :- #0.437.
link(80,126) :- #0.686.
link(126,80) :- #0.979.
link(80,139) :- #0.006.
link(139,80) :- #0.746.
link(81,84) :- #0.55.
link(84,81) :- #0.8.
link(81,87) :- #0.299.
link(87,81) :- #0.17.
link(81,90) :- #0.707.
link(90,81) :- #0.077.
link(81,127) :- #0.785.
link(127,81) :- #0.681.
link(82,90) :- #0.922.
link(90,82) :- #0.508.
link(82,99) :- #0.199.
link(99,82) :- #0.175.
link(82,102) :- #0.486.
link(102,82) :- #0.86.
link(82,128) :- #0.73.
link(128,82) :- #0.141.
link(82,134) :- #0.999.
link(134,82) :- #0.369.
link(82,139) :- #0.525.
link(139,82) :- #0.875.
link(82,140) :- #0.002.
link(140,82) :- #0.705.
link(82,145) :- #0.087.
link(145,82) :- #0.887.
link(83,87) :- #0.544.
link(87,83) :- #0.136.
link(83,97) :- #0.547.
link(97,83) :- #0.389.
link(83,117) :- #0.421.
link(117,83) :- #0.364.
link(83,125) :- #0.997.
link(125,83) :- #0.693.
link(83,140) :- #0.492.
link(140,83) :- #0.771.
link(83,144) :- #0.168.
link(144,83) :- #0.934.
link(83,148) :- #0.823.
link(148,83) :- #0.982.
link(83,150) :- #0.226.
link(150,83) :- #0.776.
link(84,85) :- #0.704.
link(85,84) :- #0.56.
link(84,112) :- #0.265.
link(112,84) :- #0.549.
link(84,117) :- #0.964.
link(117,84) :- #0.073.
link(84,118) :- #0.338.
link(118,84) :- #0.181.
link(84,132) :- #0.669.
link(132,84) :- #0.454.
link(84,134) :- #0.553.
link(134,84) :- #0.315.
link(85,92) :- #0.725.
link(92,85) :- #0.387.
link(85,100) :- #0.871.
link(100,85) :- #0.104.
link(85,105) :- #0.258.
link(105,85) :- #0.056.
link(85,108) :- #0.692.
link(108,85) :- #0.507.
link(85,114) :- #0.777.
link(114,85) :- #0.073.
link(85,115) :- #0.908.
link(115,85) :- #0.885.
link(85,118) :- #0.127.
link(118,85) :- #0.243.
link(85,126) :- #0.85.
link(126,85) :- #0.565.
link(85,136) :- #0.349.
link(136,85) :- #0.36.
link(85,139) :- #0.887.
link(139,85) :- #0.659.
link(85,144) :- #0.783.
link(144,85) :- #0.706.
link(85,150) :- #0.62.
link(150,85) :- #0.151.
link(86,91) :- #0.729.
link(91,86) :- #0.068.
link(86,92) :- #0.622.
link(92,86) :- #0.498.
link(86,94) :- #0.652.
link(94,86) :- #0.776.
link(86,114) :- #0.995.
link(114,86) :- #0.011.
link(86,116) :- #0.251.
link(116,86) :- #0.579.
link(86,118) :- #0.285.
link(118,86) :- #0.155.
link(86,125) :- #0.686.
link(125,86) :- #0.817.
link(86,130) :- #0.109.
link(130,86) :- #0.845.
link(86,132) :- #0.09.
link(132,86) :- #0.602.
link(86,134) :- #0.533.
link(134,86) :- #0.458.
link(86,138) :- #0.209.
link(138,86) :- #0.078.
link(86,140) :- #0.572.
link(140,86) :- #0.899.
link(86,143) :- #0.15.
link(143,86) :- #0.935.
link(86,144) :- #0.051.
link(144,86) :- #0.734.
link(86,150) :- #0.716.
link(150,86) :- #0.372.
link(87,94) :- #0.534.
link(94,87) :- #0.519.
link(87,95) :- #0.675.
link(95,87) :- #0.652.
link(87,107) :- #0.538.
link(107,87) :- #0.634.
link(87,108) :- #0.285.
link(108,87) :- #0.141.
link(87,111) :- #0.046.
link(111,87) :- #0.487.
link(87,116) :- #0.001.
link(116,87) :- #0.638.
link(87,121) :- #0.559.
link(121,87) :- #0.14.
link(87,129) :- #0.115.
link(129,87) :- #0.497.
link(87,139) :- #0.917.
link(139,87) :- #0.568.
link(87,144) :- #0.026.
link(144,87) :- #0.146.
link(87,148) :- #0.741.
link(148,87) :- #0.567.
link(88,105) :- #0.463.
link(105,88) :- #0.581.
link(88,111) :- #0.001.
link(111,88) :- #0.322.
link(88,122) :- #0.589.
link(122,88) :- #0.095.
link(88,137) :- #0.53.
link(137,88) :- #0.879.
link(88,145) :- #0.891.
link(145,88) :- #0.161.
link(88,146) :- #0.792.
link(146,88) :- #0.9.
link(89,93) :- #0.895.
link(93,89) :- #0.184.
link(89,114) :- #0.06.
link(114,89) :- #0.693.
link(89,117) :- #0.335.
link(117,89) :- #0.744.
link(89,135) :- #0.265.
link(135,89) :- #0.237.
link(89,140) :- #0.557.
link(140,89) :- #0.473.
link(89,142) :- #0.748.
link(142,89) :- #0.938.
link(90,91) :- #0.956.
link(91,90) :- #0.577.
link(90,108) :- #0.134.
link(108,90) :- #0.801.
link(90,113) :- #0.608.
link(113,90) :- #0.994.
link(90,137) :- #0.905.
link(137,90) :- #0.257.
link(90,141) :- #0.117.
link(141,90) :- #0.843.
link(90,144) :- #0.087.
link(144,90) :- #0.788.
link(91,110) :- #0.047.
link(110,91) :- #0.126.
link(91,120) :- #0.969.
link(120,91) :- #0.873.
link(91,122) :- #0.126.
link(122,91) :- #0.039.
link(91,124) :- #0.117.
link(124,91) :- #0.464.
link(91,128) :- #0.096.
link(128,91) :- #0.915.
link(91,136) :- #0.012.
link(136,91) :- #0.847.
link(91,138) :- #0.577.
link(138,91) :- #0.98.
link(91,141) :- #0.732.
link(141,91) :- #0.165.
link(91,146) :- #0.381.
link(146,91) :- #0.266.
link(91,148) :- #0.762.
link(148,91) :- #0.336.
link(92,95) :- #0.196.
link(95,92) :- #0.155.
link(92,102) :- #0.723.
link(102,92) :- #0.331.
link(92,106) :- #0.643.
link(106,92) :- #0.935.
link(92,119) :- #0.764.
link(119,92) :- #0.74.
link(92,121) :- #0.146.
link(121,92) :- #0.15.
link(92,127) :- #0.163.
link(127,92) :- #0.81.
link(92,135) :- #0.459.
link(135,92) :- #0.566.
link(93,95) :- #0.205.
link(95,93) :- #0.356.
link(93,100) :- #0.61.
link(100,93) :- #0.709.
link(93,114) :- #0.465.
link(114,93) :- #0.619.
link(93,117) :- #0.661.
link(117,93) :- #0.577.
link(93,124) :- #0.583.
link(124,93) :- #0.511.
link(93,132) :- #0.323.
link(132,93) :- #0.572.
link(93,136) :- #0.694.
link(136,93) :- #0.253.
link(93,139) :- #0.796.
link(139,93) :- #0.585.
link(93,140) :- #0.678.
link(140,93) :- #0.941.
link(94,108) :- #0.438.
link(108,94) :- #0.612.
link(94,118) :- #0.754.
link(118,94) :- #0.656.
link(94,123) :- #0.036.
link(123,94) :- #0.162.
link(94,127) :- #0.215.
link(127,94) :- #0.584.
link(94,130) :- #0.726.
link(130,94) :- #0.952.
link(94,132) :- #0.761.
link(132,94) :- #0.926.
link(94,135) :- #0.376.
link(135,94) :- #0.189.
link(95,105) :- #0.175.
link(105,95) :- #0.821.
link(95,106) :- #0.667.
link(106,95) :- #0.683.
link(95,111) :- #0.671.
link(111,95) :- #0.918.
link(95,115) :- #0.849.
link(115,95) :- #0.732.
link(95,120) :- #0.011.
link(120,95) :- #0.676.
link(95,132) :- #0.422.
link(132,95) :- #0.515.
link(95,135) :- #0.2.
link(135,95) :- #0.944.
link(95,137) :- #0.748.
link(137,95) :- #0.371.
link(95,138) :- #0.869.
link(138,95) :- #0.386.
link(95,143) :- #0.026.
link(143,95) :- #0.21.
link(95,149) :- #0.17.
link(149,95) :- #0.879.
link(96,116) :- #0.513.
link(116,96) :- #0.184.
link(96,125) :- #0.515.
link(125,96) :- #0.317.
link(96,137) :- #0.386.
link(137,96) :- #0.91.
link(96,138) :- #0.688.
link(138,96) :- #0.13.
link(97,98) :- #0.041.
link(98,97) :- #0.126.
link(97,104) :- #0.874.
link(104,97) :- #0.152.
link(97,114) :- #0.857.
link(114,97) :- #0.54.
link(97,119) :- #0.972.
link(119,97) :- #0.069.
link(97,132) :- #0.648.
link(132,97) :- #0.372.
link(97,137) :- #0.948.
link(137,97) :- #0.899.
link(97,138) :- #0.202.
link(138,97) :- #0.338.
link(97,141) :- #0.225.
link(141,97) :- #0.755.
link(97,147) :- #0.826.
link(147,97) :- #0.307.
link(98,100) :- #0.417.
link(100,98) :- #0.31.
link(98,107) :- #0.743.
link(107,98) :- #0.139.
link(98,117) :- #0.68.
link(117,98) :- #0.955.
link(98,125) :- #0.221.
link(125,98) :- #0.244.
link(98,128) :- #0.427.
link(128,98) :- #0.932.
link(98,132) :- #0.377.
link(132,98) :- #0.496.
link(98,135) :- #0.824.
link(135,98) :- #0.785.
link(98,139) :- #0.988.
link(139,98) :- #0.603.
link(98,150) :- #0.868.
link(150,98) :- #0.179.
link(99,110) :- #0.908.
link(110,99) :- #0.879.
link(99,113) :- #0.881.
link(113,99) :- #0.537.
link(99,129) :- #0.766.
link(129,99) :- #0.272.
link(99,131) :- #0.994.
link(131,99) :- #0.458.
link(99,132) :- #0.876.
link(132,99) :- #0.182.
link(100,119) :- #0.778.
link(119,100) :- #0.607.
link(100,121) :- #0.059.
link(121,100) :- #0.062.
link(100,124) :- #0.346.
link(124,100) :- #0.63.
link(100,128) :- #0.603.
link(128,100) :- #0.497.
link(100,136) :- #0.25.
link(136,100) :- #0.778.
link(101,108) :- #0.733.
link(108,101) :- #0.732.
link(101,114) :- #0.782.
link(114,101) :- #0.81.
link(101,140) :- #0.742.
link(140,101) :- #0.672.
link(101,142) :- #0.17.
link(142,101) :- #0.504.
link(102,103) :- #0.657.
link(103,102) :- #0.817.
link(102,144) :- #0.852.
link(144,102) :- #0.788.
link(103,120) :- #0.984.
link(120,103) :- #0.462.
link(103,121) :- #0.934.
link(121,103) :- #0.249.
link(103,122) :- #0.265.
link(122,103) :- #0.6.
link(103,124) :- #0.916.
link(124,103) :- #0.161.
link(103,128) :- #0.911.
link(128,103) :- #0.194.
link(103,140) :- #0.504.
link(140,103) :- #0.383.
link(103,145) :- #0.981.
link(145,103) :- #0.916.
link(103,149) :- #0.138.
link(149,103) :- #0.599.
link(104,112) :- #0.213.
link(112,104) :- #0.721.
link(104,133) :- #0.722.
link(133,104) :- #0.623.
link(104,134) :- #0.949.
link(134,104) :- #0.113.
link(104,142) :- #0.965.
link(142,104) :- #0.548.
link(104,146) :- #0.596.
link(146,104) :- #0.125.
link(104,148) :- #0.622.
link(148,104) :- #0.501.
link(105,110) :- #0.531.
link(110,105) :- #0.435.
link(105,116) :- #0.763.
link(116,105) :- #0.051.
link(105,122) :- #0.772.
link(122,105) :- #0.045.
link(105,124) :- #0.793.
link(124,105) :- #0.892.
link(105,136) :- #0.351.
link(136,105) :- #0.278.
link(105,142) :- #0.034.
link(142,105) :- #0.321.
link(105,147) :- #0.84.
link(147,105) :- #0.733.
link(105,148) :- #0.27.
link(148,105) :- #0.204.
link(105,150) :- #0.465.
link(150,105) :- #0.263.
link(106,122) :- #0.058.
link(122,106) :- #0.144.
link(106,132) :- #0.225.
link(132,106) :- #0.949.
link(106,138) :- #0.035.
link(138,106) :- #0.434.
link(106,139) :- #0.383.
link(139,106) :- #0.851.
link(107,119) :- #0.833.
link(119,107) :- #0.2.
link(108,112) :- #0.11.
link(112,108) :- #0.576.
link(108,116) :- #0.997.
link(116,108) :- #0.922.
link(108,121) :- #0.295.
link(121,108) :- #0.231.
link(108,146) :- #0.939.
link(146,108) :- #0.898.
link(109,127) :- #0.921.
link(127,109) :- #0.407.
link(109,131) :- #0.22.
link(131,109) :- #0.315.
link(110,118) :- #0.794.
link(118,110) :- #0.597.
link(110,120) :- #0.29.
link(120,110) :- #0.389.
link(110,121) :- #0.042.
link(121,110) :- #0.903.
link(111,127) :- #0.241.
link(127,111) :- #0.931.
link(111,129) :- #0.823.
link(129,111) :- #0.496.
link(111,133) :- #0.785.
link(133,111) :- #0.993.
link(111,141) :- #0.37.
link(141,111) :- #0.835.
link(111,143) :- #0.562.
link(143,111) :- #0.453.
link(112,116) :- #0.352.
link(116,112) :- #0.837.
link(112,120) :- #0.557.
link(120,112) :- #0.429.
link(113,114) :- #0.704.
link(114,113) :- #0.651.
link(113,134) :- #0.786.
link(134,113) :- #0.639.
link(113,139) :- #0.509.
link(139,113) :- #0.336.
link(113,148) :- #0.838.
link(148,113) :- #0.827.
link(114,141) :- #0.292.
link(141,114) :- #0.067.
link(114,144) :- #0.403.
link(144,114) :- #0.52.
link(114,145) :- #0.501.
link(145,114) :- #0.59.
link(115,121) :- #0.483.
link(121,115) :- #0.746.
link(115,127) :- #0.979.
link(127,115) :- #0.891.
link(115,129) :- #0.945.
link(129,115) :- #0.386.
link(115,138) :- #0.685.
link(138,115) :- #0.765.
link(115,144) :- #0.83.
link(144,115) :- #0.088.
link(116,117) :- #0.565.
link(117,116) :- #0.294.
link(116,121) :- #0.068.
link(121,116) :- #0.708.
link(116,126) :- #0.557.
link(126,116) :- #0.83.
link(116,131) :- #0.885.
link(131,116) :- #0.065.
link(116,150) :- #0.949.
link(150,116) :- #0.818.
link(117,134) :- #0.152.
link(134,117) :- #0.027.
link(117,140) :- #0.303.
link(140,117) :- #0.635.
link(117,141) :- #0.796.
link(141,117) :- #0.138.
link(117,146) :- #0.56.
link(146,117) :- #0.191.
link(118,129) :- #0.156.
link(129,118) :- #0.757.
link(118,134) :- #0.734.
link(134,118) :- #0.654.
link(118,141) :- #0.196.
link(141,118) :- #0.156.
link(119,130) :- #0.38.
link(130,119) :- #0.63.
link(119,132) :- #0.824.
link(132,119) :- #0.798.
link(119,138) :- #0.134.
link(138,119) :- #0.122.
link(120,131) :- #0.271.
link(131,120) :- #0.777.
link(120,137) :- #0.616.
link(137,120) :- #0.697.
link(120,142) :- #0.77.
link(142,120) :- #0.839.
link(120,145) :- #0.558.
link(145,120) :- #0.389.
link(122,148) :- #0.339.
link(148,122) :- #0.578.
link(123,137) :- #0.671.
link(137,123) :- #0.898.
link(123,140) :- #0.663.
link(140,123) :- #0.208.
link(123,144) :- #0.594.
link(144,123) :- #0.779.
link(123,146) :- #0.345.
link(146,123) :- #0.216.
link(123,148) :- #0.629.
link(148,123) :- #0.191.
link(124,126) :- #0.48.
link(126,124) :- #0.217.
link(124,141) :- #0.467.
link(141,124) :- #0.926.
link(124,149) :- #0.88.
link(149,124) :- #0.383.
link(125,132) :- #0.894.
link(132,125) :- #0.273.
link(125,133) :- #0.776.
link(133,125) :- #0.976.
link(125,142) :- #0.626.
link(142,125) :- #0.536.
link(125,148) :- #0.271.
link(148,125) :- #0.301.
link(126,128) :- #0.993.
link(128,126) :- #0.003.
link(126,134) :- #0.016.
link(134,126) :- #0.775.
link(126,140) :- #0.644.
link(140,126) :- #0.817.
link(126,150) :- #0.829.
link(150,126) :- #0.958.
link(127,134) :- #0.767.
link(134,127) :- #0.628.
link(127,146) :- #0.266.
link(146,127) :- #0.263.
link(128,131) :- #0.318.
link(131,128) :- #0.335.
link(130,132) :- #0.578.
link(132,130) :- #0.339.
link(131,138) :- #0.395.
link(138,131) :- #0.52.
link(131,139) :- #0.981.
link(139,131) :- #0.818.
link(131,141) :- #0.392.
link(141,131) :- #0.917.
link(131,149) :- #0.628.
link(149,131) :- #0.457.
link(132,144) :- #0.695.
link(144,132) :- #0.984.
link(132,149) :- #0.184.
link(149,132) :- #0.693.
link(132,150) :- #0.166.
link(150,132) :- #0.293.
link(133,134) :- #0.915.
link(134,133) :- #0.055.
link(133,136) :- #0.187.
link(136,133) :- #0.332.
link(133,141) :- #0.079.
link(141,133) :- #0.761.
link(134,139) :- #0.596.
link(139,134) :- #0.609.
link(134,141) :- #0.2.
link(141,134) :- #0.503.
link(134,142) :- #0.224.
link(142,134) :- #0.808.
link(135,138) :- #0.994.
link(138,135) :- #0.929.
link(135,146) :- #0.184.
link(146,135) :- #0.559.
link(136,140) :- #0.063.
link(140,136) :- #0.527.
link(136,142) :- #0.331.
link(142,136) :- #0.152.
link(137,138) :- #0.658.
link(138,137) :- #0.592.
link(137,142) :- #0.07.
link(142,137) :- #0.897.
link(138,146) :- #0.115.
link(146,138) :- #0.114.
link(139,145) :- #0.539.
link(145,139) :- #0.55.
link(140,143) :- #0.932.
link(143,140) :- #0.805.
link(140,146) :- #0.26.
link(146,140) :- #0.274.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
